\documentclass{article}\begin{document}
\begin{theorem}

\declare{syntax={infix,108,"+",l}, meaning={#_1 + #_2}}
$1+2$
\end{theorem}
\end{document}

